Понятия со словосочетанием «нейтральный элемент»
Нейтра́льный элеме́нт бинарной операции — элемент, который оставляет любой другой элемент неизменным при применении этой бинарной операции к этим двум элементам.
Связанные понятия
Коалгебра — математическая структура, которая двойственна (в смысле обращения стрелок) к ассоциативной алгебре с единицей. Аксиомы унитарной ассоциативной алгебры могут быть сформулированы в терминах коммутативных диаграмм. Аксиомы коалгебры получаются путём обращения стрелок. Каждая коалгебра c дуальностью (векторного пространства) порождает алгебру, но не наоборот. В конечномерном случае дуальность есть в обоих направлениях. Коалгебры встречаются в разных случаях (например, в универсальных обёртывающих...
В теории категорий есте́ственное преобразова́ние предоставляет способ перевести один функтор в другой, сохраняя внутреннюю структуру (например, композиции морфизмов). Поэтому естественное преобразование можно понимать как «морфизм функторов». Эта интуиция может быть строго формализована в определении категории функторов. Естественные преобразования — наиболее базовое определение в теории категорий наряду с функторами, поэтому оно появляется в большинстве её приложений.
Подробнее: Естественное преобразование
В математике, симметрической алгеброй S(V) (также обозначается Sym(V)) векторного пространства V над полем K называется свободная коммутативная ассоциативная K-алгебра с единицей, содержащая V.
Подробнее: Симметрическая алгебра
Полунорма или преднорма — обобщение понятия норма; в отличие от последней, полунорма может равняться нулю на ненулевых элементах пространства.
В теории категорий моноидальные функторы — это функторы между моноидальными категориями, сохраняюющие моноидальную структуру, то есть умножение и тождественный элемент.
Подробнее: Моноидальный функтор
Проективная группа — группа преобразований проективного пространства, индуцируемых линейными преобразованиями соответствующего векторного пространства. Её элементы называются проективными преобразованиями — они обобщают проективные преобразования проективной плоскости. С матричной точки зрения проективная группа — это группа всех невырожденных матриц с точностью до скалярных матриц.
Изометрия — биекция между метрическими пространствами, сохраняющая расстояния между точками.
Гомеоморфи́зм (греч. ὅμοιος — похожий, μορφή — форма) — взаимно однозначное и взаимно непрерывное отображение топологических пространств. Иными словами, это биекция, связывающая топологические структуры двух пространств, поскольку, при непрерывности биекции, образы и прообразы открытых подмножеств являются открытыми множествами, определяющими топологии соответствующих пространств.
Биекция — это отображение, которое является одновременно и сюръективным, и инъективным. При биективном отображении каждому элементу одного множества соответствует ровно один элемент другого множества, при этом определено обратное отображение, которое обладает тем же свойством. Поэтому биективное отображение называют ещё взаимно однозначным отображением (соответствием), одно-однозначным отображением.
Функтор — особый тип отображений между категориями. Его можно понимать как отображение, сохраняющее структуру. Функторы между малыми категориями являются морфизмами в категории малых категорий. Совокупность всех категорий не является категорией в обычном смысле, так как совокупность её объектов не является классом. Один из способов преодолеть подобные теоретико-множественные трудности — добавление в ZFC независимой от неё аксиомы о существовании недостижимых кардиналов.
Связное пространство — непустое топологическое пространство, которое невозможно разбить на два непустых непересекающихся открытых подмножества.
В алгебраической геометрии дивизоры являются обобщением подмногообразий некоторого алгебраического многообразия коразмерности 1. Существуют два различных таких обобщения — дивизоры Вейля и дивизоры Картье (названы в честь Андре Вейля и Пьера Картье), эти понятия эквивалентны в случае многообразий (или схем) без особенностей.
Подробнее: Дивизор (алгебраическая геометрия)
Двойственное пространство (иногда сопряжённое пространство) — пространство линейных функционалов на заданном векторном пространстве.
Теорема Витта — теорема о свойствах конечномерных ортогональных пространств над полями произвольного вида. Она утверждает, что любая изометрия между двумя подпространствами конечномерного ортогонального векторного пространства может быть продолжена на все пространство.
Со́бственный ве́ктор — понятие в линейной алгебре, определяемое для произвольного линейного оператора как ненулевой вектор, применение к которому оператора даёт коллинеарный вектор — тот же вектор, умноженный на некоторое скалярное значение. Скаляр, на который умножается собственный вектор под действием оператора, называется собственным числом (или собственным значением) линейного оператора, соответствующим данному собственному вектору. Одним из представлений линейного оператора является квадратная...
Сингулярные гомологии — теория гомологий, в которой инвариантность и функториальность сразу становятся очевидными, но основное определение требует работы с бесконечномерными пространствами.
Кодекартов квадрат (также — универсальный квадрат) — теоретико-категорное понятие, двойственное понятию декартова квадрата. Кодекартов квадрат является частным случаем копредела.
Точный функтор — функтор, который переводит точные последовательности в точные. Точные функторы удобны для вычислений в гомологической алгебре, поскольку их можно сразу применять к резольвентам объектов. Бо́льшая часть гомологической алгебры была построена для того, чтобы сделать возможной работу с функторами, которые не являются точными, но их отличие от точных поддаётся контролю.
Аффи́нное простра́нство — математический объект (пространство), обобщающий некоторые свойства евклидовой геометрии. В отличие от векторного пространства, аффинное пространство оперирует с объектами не одного, а двух типов: «векторами» и «точками».
В математике (общей алгебре) многочлен от нескольких переменных над полем называется гармоническим, если лапласиан этого многочлена равен нулю.
Подробнее: Гармонический многочлен
В классической механике ско́бки Пуассо́на (также возможно ско́бка Пуассо́на и скобки Ли) — это оператор, играющий центральную роль в определении эволюции во времени динамической системы. Эта операция названа в честь С.-Д. Пуассона.
Подробнее: Скобка Пуассона
У определённых функторов можно взять производные функторы чтобы получить другие функторы, тесно связанные с исходными. Данная операция является довольно абстрактной, но объединяет большое количество конструкций в математике.
Подробнее: Производный функтор
Резольве́нта — один из важных инструментов гомологической алгебры, в частности служащий для вычисления функторов Ext и Tor.
В математике квадра́тная ма́трица — это матрица, у которой число строк совпадает с числом столбцов, и это число называется порядком матрицы. Любые две квадратные матрицы одинакового порядка можно складывать и умножать.
Ве́кторное (или лине́йное) простра́нство — математическая структура, которая представляет собой набор элементов, называемых векторами, для которых определены операции сложения друг с другом и умножения на число — скаляр. Эти операции подчинены восьми аксиомам. Скаляры могут быть элементами вещественного, комплексного или любого другого поля чисел. Частным случаем подобного пространства является обычное трехмерное евклидово пространство, векторы которого используются, к примеру, для представления...
В теории категорий,
подфунктор — специальный тип функтора в Set, использующий определение подмножества.
Теорема об обратной функции даёт достаточные условия для существования обратной функции в окрестности точки через производные от самой функции.
Гиперко́мпле́ксные числа — различные расширения вещественных чисел, такие как комплексные числа, кватернионы и пр.
Подробнее: Гиперкомплексное число
Лемма о змее — это инструмент, используемый в математике, особенно в гомологической алгебре, для построения длинных точных последовательностей. Лемма о змее верна в любой абелевой категории и играет ключевую роль в гомологической алгебре и её приложениях, например в алгебраической топологии. Гомоморфизмы, построенные с её помощью, обычно называют связывающими гомоморфизмами.
Аффи́нная свя́зность — линейная связность на касательном расслоении многообразия. Координатными выражениями аффинной связности являются символы Кристоффеля.
Вполне упорядоченное множество — линейно упорядоченное множество M такое, что в любом его непустом подмножестве есть минимальный элемент, другими словами, это фундированное множество с линейным порядком.
Одночлен (также моном) — простое математическое выражение, прежде всего рассматриваемое и используемое в элементарной алгебре, а именно, произведение, состоящее из числового множителя и одной или нескольких переменных, взятых каждая в неотрицательной целой степени .
Симметрия встречается не только в геометрии, но и в других областях математики. Симметрия является видом инвариантности, свойством неизменности при некоторых преобразованиях.
В математике (особенно в теории категорий), коммутативная диаграмма — изображаемая в наглядном виде структура наподобие графа, вершинами которой служат объекты определённой категории, а рёбрами — морфизмы. Коммутативность означает, что для любых выбранных начального и конечного объекта для соединяющих их ориентированных путей композиция соответствующих пути морфизмов не будет зависеть от выбора пути.
Подробнее: Коммутативная диаграмма
Разложение Риччи — это разложение тензора кривизны Римана на неприводимые относительно ортогональной группы тензорные части.
Риманов
тензор кривизны представляет собой стандартный способ выражения кривизны римановых многообразий, а в общем случае — произвольных многообразий аффинной связности, без кручения или с кручением.
Топологическое векторное пространство, или топологическое линейное пространство, — векторное пространство, наделённое топологией, относительно которой операции сложения и умножения на число непрерывны.
А́лгебра Ли — объект общей алгебры. Естественно появляется при изучении инфинитезимальных свойств групп Ли.
Тангенциальнозначные формы — это обобщение дифференциальных форм, при котором множеством значений формы является касательное расслоение к многообразию.
Подробнее: Тангенциальнозначная форма
В линейной алгебре линейная зависимость — это свойство, которое может иметь подмножество линейного пространства. При линейной зависимости существует нетривиальная линейная комбинация элементов этого множества, равная нулевому элементу. При отсутствии такой комбинации, то есть, когда коэффициенты единственной такой линейной комбинации равны нулю, множество называется линейно независимым.